1. Hybrid logic and its proof-theory
Author: Brauner, Torben.
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
QA
9
.
54
.
B7
2011
2. Hybrid logic and its proof-theory
Author: Brauner, Torben
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
B73H9
